逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

部分参数不准确的线性系统H∞状态估计滤波问题

本文研究了部分参数不准确的线性系统的Ｈ_∞状态估计滤波问题,或即参数鲁棒性Ｈ_∞估计问题。我们先把它简化为带δ参数的对象的Ｈ_∞状态估计滤波问题,采用Ｊ无损分解方法,推导出可解性条件和滤波器的全部显式通解。     

贯彻实施军用标准需要激励机制

结合兵器行业的实际,叙述贯彻实施军用标准的途径、方法及存在问题,进而对产品研制中的贯标工作提出7项建议。     

炸药热安定性的快速评定方法

本文分析了量气法和热分析法评定炸药热安定性的问题,提出把由一条DSC曲线测得的热分解动力学参数引入热平衡方程,以数值模拟方法计算出炸药在一定环境温度下的热爆炸延滞期,并据此判别炸药热安定性的观点和方法。经实验验证,该方法快速、准确。     

可修系统的一个模型

本文研究一种具有4种故障形式的可修系统。利用向量Markov过程方法,求出了系统的可靠性指标。     

广义直观Fuzzy集

本文给出了广义直观Ｆｕｚｚｙ集的概念,讨论了基本运算及其性质,拓广了文献［１］与［２］的结果。     

滚动轴承故障智能诊断系统的研究

本文结合“滚动轴承故障智能诊断系统”的科研课题,介绍了智能诊断系统研制过程中轴承故障特征频率的近似计算、智能诊断报警参数的确定、报警门限值的确定、趋势预测及实验诊断结果分析。     

静磁场Dirichlet问题

本文以单调算子理论为基础,应用文献［１］中得到的静磁场Ｂ－Ｈ的几个不等式证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题广义解的存在与唯一性,并证明了静磁场Ｄｉｒｉｃｈｌｅｔ问题相应泛函的极小值的存在性,得出主要结论如定理３．１和定理３．２。